void flush_buffer_into_buffer(buffer_t* buff_out, buffer_t* buff_in);
